Albert von Le Coq

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Policing Epistemic Deviance: Albert von Schrenck-Notzing and Albert Moll1

Shortly after the death of Albert von Schrenck-Notzing (1862-1929), the doyen of early twentieth century German para psychology, his former colleague in hypnotism and sexology Albert Moll (1862-1939) published a treatise on the psychology and pathology of parapsychologists, with Schrenck-Notzing serving as a prototype of a scientist suffering from an 'occult complex'. Moll's analysis concluded ...

متن کامل

Coq in Coq

We formalize the deenition and the metatheory of the Calculus of Constructions (CC) using the proof assistant Coq. In particular, we prove strong nor-malization and decidability of type inference. From the latter proof, we extract a certiied Objective Caml program which performs type inference in CC and use this code to build a small-scale certiied proof-checker.

متن کامل

Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée

Teaching high-school mathematics using a general theorem prover becomes a reachable goal for the near future. In this article, we present a library dealing with geometry in Coq. This library is dedicated to high-school teaching. We stress on using a graphical interface and a drawing tool which ease the accessibility to formal statements. We present some significant examples of statements with f...

متن کامل

Extraction certifiée dans Coq-en-Coq

The Coq proof assistant allows generation of programs correct by construction. This feature—called extraction—can be used to build certified libraries. In this article, we present a formalization of the extraction in Coq, along with some properties that have been formally proved. This work is in line with B. Barras’s work on formalizing Coq in Coq. MOTS-CLÉS : assistant de preuve, calcul des co...

متن کامل

Tackling Taboos—From Psychopathia Sexualis to the Materialisation of Dreams: Albert von Schrenck-Notzing (1862–1929)

Albert von Schrenck-Notzing, M.D., is one of the most controversial fi gures in the history of medicine and science. A pioneer of hypnotism and sexology in late 19th century Germany, he was to become the doyen of early 20th century German psychical research. Supported by the philosophers Hans Driesch and Traugott Konstantin Oesterreich and the psychiatrist Eugen Bleuler, his work was attacked b...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of the Royal Asiatic Society

سال: 1930

ISSN: 1356-1863,1474-0591

DOI: 10.1017/s0035869x00072312